Delzanno, G.L.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Attractive Potential around a Thermionically Emitting Microparticle

Delzanno, G. L., Lapenta, G., Rosenberg, M.

Journal:

Physical Review Letters

Year:

2004

Language:

english

File:

PDF, 119 KB

english, 2004

2

An optimal robust equidistribution method for two-dimensional grid adaptation based on Monge–Kantorovich optimization

G.L. Delzanno, L. Chacón, J.M. Finn, Y. Chung, G. Lapenta

Journal:

Journal of Computational Physics

Year:

2008

Language:

english

File:

PDF, 1.74 MB

english, 2008

3

Future beam experiments in the magnetosphere with plasma contactors: The electron collection and ion emission routes

Delzanno, G. L., Borovsky, J. E., Thomsen, M. F., Moulton, J. D.

Journal:

Journal of Geophysical Research: Space Physics

Year:

2015

Language:

english

File:

PDF, 5.97 MB

english, 2015

4

A Legendre–Fourier spectral method with exact conservation laws for the Vlasov–Poisson system

Manzini, G., Delzanno, G.L., Vencels, J., Markidis, S.

Journal:

Journal of Computational Physics

Year:

2016

Language:

english

File:

PDF, 2.11 MB

english, 2016

5

Parameterized verification

Abdulla, Parosh A., Delzanno, Giorgio

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 399 KB

english, 2016

6

Electron reflection effects on particle and heat fluxes to positively charged dust subject to strong electron emission

Vignitchouk, L., Delzanno, G. L., Tolias, P., Ratynskaia, S.

Journal:

Physics of Plasmas

Year:

2018

Language:

english

File:

PDF, 694 KB

english, 2018

7

Outstanding questions in magnetospheric plasma physics: The pollenzo view

Borovsky, Joseph E., Delzanno, Gian Luca, Valdivia, Juan Alejandro, Moya, Pablo S., Stepanova, Marina, Birn, Joachim, Blum, Lauren W., Lotko, William, Hesse, Michael

Journal:

Journal of Atmospheric and Solar-Terrestrial Physics

Year:

2020

File:

PDF, 6.41 MB

2020

8

A Symbolic Procedure for Control Reachability in the Asynchronous π-calculus: Extended Abstract

Giorgio Delzanno

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 226 KB

english, 2004

9

The fluid dynamic approach to equidistribution methods for grid adaptation

Gian Luca Delzanno, John M. Finn

Journal:

Computer Physics Communications

Year:

2011

Language:

english

File:

PDF, 1.24 MB

english, 2011

10

On Reachability and Spatial Reachability in Fragments of BioAmbients

Giorgio Delzanno, Roberto Montagna

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 285 KB

english, 2007

11

Monotonic Abstraction in Parameterized Verification

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 4.02 MB

english, 2008

12

Robust, multidimensional mesh-motion based on Monge–Kantorovich equidistribution

L. Chacón, G.L. Delzanno, J.M. Finn

Journal:

Journal of Computational Physics

Year:

2011

Language:

english

File:

PDF, 1.74 MB

english, 2011

13

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols

Marco Bozzano, Giorgio Delzanno

Journal:

Journal of Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 1.20 MB

english, 2004

14

Proofs as computations in linear logic

Giorgio Delzanno, Maurizio Martelli

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 216 KB

english, 2001

15

Brain-stem haematoma with complete recovery

S. F. Cappa, M. Riva, R. Sterzi, C. Canepari, G. B. Delzanno

Journal:

Journal of Neurology

Year:

1985

Language:

english

File:

PDF, 501 KB

english, 1985

16

Reachability analysis of fragments of mobile ambients in AC term rewriting

Giorgio Delzanno, Roberto Montagna

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 581 KB

english, 2008

17

Covering sharing trees: a compact data structure for parameterized verification

Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 1.06 MB

english, 2004

18

Constraint-based deductive model checking

Giorgio Delzanno, Andreas Podelski

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2001

Language:

english

File:

PDF, 392 KB

english, 2001

19

Approximated parameterized verification of infinite-state processes with global conditions

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 638 KB

english, 2009

20

Dust Divertor for a Tokamak Fusion Reactor

X. Z. Tang, G. L. Delzanno

Journal:

Journal of Fusion Energy

Year:

2010

Language:

english

File:

PDF, 283 KB

english, 2010

21

On the verification of membrane systems with dynamic structure

Giorgio Delzanno, Laurent Van Begin

Journal:

Natural Computing

Year:

2010

Language:

english

File:

PDF, 679 KB

english, 2010

22

Deciding Reachability in Mobile Ambients with Name Restriction

Giorgio Delzanno, Roberto Montagna

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 262 KB

english, 2009

23

An Assertional Language for the Verification of Systems Parametric in Several Dimensions: (Preliminary Results)

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 322 KB

english, 2001

24

On the Relations between Disjunctive and Linear Logic Programming

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 251 KB

english, 2001

25

An Overview of MSR( C ): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 280 KB

english, 2002

26

A lightweight regular model checking approach for parameterized systems

Giorgio Delzanno, Ahmed Rezine

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.71 MB

english, 2012

27

A classification of the expressive power of well-structured transition systems

Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 1.22 MB

english, 2011

28

Reachability problems in BioAmbients

Giorgio Delzanno, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 419 KB

english, 2012

29

Generalized Monge–Kantorovich Optimization for Grid Generation and Adaptation in $L_{p}$

Delzanno, G. L., Finn, J. M.

Journal:

SIAM Journal on Scientific Computing

Year:

2010

Language:

english

File:

PDF, 2.54 MB

english, 2010

30

On the coverability and reachability languages of monotonic extensions of Petri nets

Delzanno, Giorgio, Rosa-Velardo, Fernando

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 492 KB

english, 2013

31

Kink instability of flux ropes anchored at one end and free at the other

Lapenta, Giovanni, Furno, Ivo, Intrator, Thomas, Delzanno, Gian Luca

Journal:

Journal of Geophysical Research

Year:

2006

Language:

english

File:

PDF, 1008 KB

english, 2006

32

On the numerical simulation of particle dynamics in the radiation belt: 1. Implicit and semi-implicit schemes

Camporeale, E., Delzanno, G. L., Zaharia, S., Koller, J.

Journal:

Journal of Geophysical Research: Space Physics

Year:

2013

Language:

english

File:

PDF, 956 KB

english, 2013

33

On the numerical simulation of particle dynamics in the radiation belt: 2. Procedure based on the diagonalization of the diffusion tensor

Camporeale, E., Delzanno, G. L., Zaharia, S., Koller, J.

Journal:

Journal of Geophysical Research: Space Physics

Year:

2013

Language:

english

File:

PDF, 540 KB

english, 2013

34

A paradigm for the stability of the plasma sheath against fluid perturbations

Delzanno, G. L.

Journal:

Physics of Plasmas

Year:

2011

Language:

english

File:

PDF, 1.45 MB

english, 2011

35

On particle movers in cylindrical geometry for Particle-In-Cell simulations

Delzanno, G.L., Camporeale, E.

Journal:

Journal of Computational Physics

Year:

2013

Language:

english

File:

PDF, 497 KB

english, 2013

36

A model for evaluating compression effects in the m[sub θ]=1 diocotron instability

Coppa, G. G. M., D’Angola, A., Delzanno, G. L., Lapenta, G.

Journal:

Physics of Plasmas

Year:

2001

Language:

english

File:

PDF, 306 KB

english, 2001

37

CPIC: A Curvilinear Particle-in-Cell Code for Plasma–Material Interaction Studies

Delzanno, Gian Luca, Camporeale, Enrico, Moulton, J. David, Borovsky, Joseph E., MacDonald, Elizabeth A., Thomsen, Michelle F.

Journal:

IEEE Transactions on Plasma Science

Year:

2013

Language:

english

File:

PDF, 1.65 MB

english, 2013

38

Validating XML document adaptations via Hedge Automata transformations

Solimando, Alessandro, Delzanno, Giorgio, Guerrini, Giovanna

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.43 MB

english, 2014

39

Lower hybrid to whistler mode conversion on a density striation

Camporeale, E., Delzanno, G. L., Colestock, P.

Journal:

Journal of Geophysical Research

Year:

2012

Language:

english

File:

PDF, 1.30 MB

english, 2012

40

KANDINSKY: a PIC code for fluid simulations of Penning traps

Delzanno, G.L., Lapenta, G., Finn, J.M.

Journal:

IEEE Transactions on Plasma Science

Year:

2002

Language:

english

File:

PDF, 196 KB

english, 2002

41

Driven reconnection about a magnetic X point in weakly collisional plasmas

Delzanno, G. L., Fable, E., Porcelli, F.

Journal:

Physics of Plasmas

Year:

2004

Language:

english

File:

PDF, 548 KB

english, 2004

42

A new method for analyzing line-tied kink modes in cylindrical geometry

Evstatiev, E. G., Delzanno, G. L., Finn, J. M.

Journal:

Physics of Plasmas

Year:

2006

Language:

english

File:

PDF, 833 KB

english, 2006

43

Exact orbital motion theory of the shielding potential around an emitting, spherical body

Delzanno, G. L., Bruno, A., Sorasio, G., Lapenta, G.

Journal:

Physics of Plasmas

Year:

2005

Language:

english

File:

PDF, 473 KB

english, 2005

44

Modified Jeans Instability for Dust Grains in a Plasma

Delzanno, G. L., Lapenta, G.

Journal:

Physical Review Letters

Year:

2005

Language:

english

File:

PDF, 118 KB

english, 2005

45

Plasma dragged microparticles as a method to measure plasma flows

Ticoş, Cătălin M., Wang, Zhehui, Delzanno, Gian Luca, Lapenta, Giovanni

Journal:

Physics of Plasmas

Year:

2006

Language:

english

File:

PDF, 479 KB

english, 2006

46

New approach for the study of linear Vlasov stability of inhomogeneous systems

Camporeale, Enrico, Delzanno, Gian Luca, Lapenta, Giovanni, Daughton, William

Journal:

Physics of Plasmas

Year:

2006

Language:

english

File:

PDF, 2.78 MB

english, 2006

47

[IEEE IEEE Conference Record - Abstracts. 2005 IEEE International Conference on Plasma Science - Monterey, CA, USA (2005.06.20-2005.06.23)] IEEE Conference Record - Abstracts. 2005 IEEE International Conference on Plasma Science - Modified Jeans Instability for Dusty Plasmas: 3D Nonlinear Simulations

Lapenta, Giovanni, Delzanno, Gian Luca

Year:

2005

Language:

english

File:

PDF, 1.15 MB

english, 2005

48

[IEEE 2007 IEEE Pulsed Power Plasma Science Conference - Albuquerque, NM, USA (2007.06.17-2007.04.22)] 2007 IEEE Pulsed Power Plasma Science Conference - Attraction of Dust Grains in a Nebula

Franceschini, E., Delzanno, G. L., Lapenta, G.

Year:

2007

Language:

english

File:

PDF, 44 KB

english, 2007

49

Control of ideal and resistive magnetohydrodynamic modes in reversed field pinches with a resistive wall

Richardson, A. S., Finn, J. M., Delzanno, G. L.

Journal:

Physics of Plasmas

Year:

2010

Language:

english

File:

PDF, 721 KB

english, 2010

50

Nonlinear phase of the compressional m=1 diocotron instability: Saturation and analogy with geophysical fluid dynamics

Delzanno, G. L., Finn, J. M., Lapenta, G.

Journal:

Physics of Plasmas

Year:

2002

Language:

english

File:

PDF, 964 KB

english, 2002